int main() {
  int x = 0x800c0030;
  (void)x;
  return 0;
}
